the product of two orthogonal matrices is also an orthogonal matrix form group